// @ts-check

/**
 * 包含 @ts-check 注释的TypeScript文件
 * 虽然TS文件本身就有类型检查，但这里演示@ts-check的识别
 */

interface User {
  id: number;
  name: string;
  email: string;
}

function validateUser(user: User): boolean {
  return !!(user.id && user.name && user.email);
}

function createUserMessage(user: User): string {
  return `Hello ${user.name}, your email is ${user.email}`;
}

export type { User };
export { validateUser, createUserMessage }; 